From ef4ba176d8c47297a70d0ba5adb88b008574b225 Mon Sep 17 00:00:00 2001 From: "kaf24@scramble.cl.cam.ac.uk" Date: Tue, 3 Aug 2004 15:29:34 +0000 Subject: [PATCH] bitkeeper revision 1.1108.56.1 (410faf5emvfslB-BTjuTK5EQwf6sxQ) Fix LaTeX source. --- docs/Makefile | 6 +++--- docs/user.tex | 1 - 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/docs/Makefile b/docs/Makefile index fc3ea52bad..ae8db6a27c 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -33,8 +33,8 @@ install: $(DOCUMENTS) dvips -Ppdf -G0 -o $@ $< %.dvi: %.tex - latex $* - if [ -e $*.toc ] ; then latex $* ; fi + latex $* >/dev/null + if [ -e $*.toc ] ; then latex $* >/dev/null ; fi %.eps: %.fig fig2dev -L eps $< $@ @@ -43,4 +43,4 @@ install: $(DOCUMENTS) tgif -print -color -eps $< %.html: %.tex - latex2html --split 0 --nonavigation --noinfo --math $< + latex2html --split 0 --nonavigation --noinfo --math $< 1>/dev/null 2>/dev/null diff --git a/docs/user.tex b/docs/user.tex index 90fbbf4fae..e13c1a50d0 100644 --- a/docs/user.tex +++ b/docs/user.tex @@ -1183,7 +1183,6 @@ editting \path{grub.conf}. 'nmi=fatal': Xen prints a diagnostic and then hangs. \\ 'nmi=dom0': Inform DOM0 of the NMI. \\ 'nmi=ignore': Ignore the NMI. \\ - [NB. Default is 'dom0' ('fatal' for debug builds).] \\ {\bf dom0\_mem=xxx } \\ Set the maximum amount of memory for domain0. \\ -- 2.30.2